"Woodcock J. Using Z." скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Using Z.Specification,refinement,and proof

Jim Woodcock, Jim Davies

Категория: Радио

4.74 Mb

#2

Using Z: Specification, Refinement, and Proof

Jim Woodcock, Jim Davies

Категория: Cs_Computer science, CsPl_Programming languages

1.24 Mb

#3

Using Z

Woodcock, Davies.

Категория: Cs_Computer science, CsPl_Programming languages

1.24 Mb

#4

Specification,refinement,and proof

Woodcock J. Using Z.

4.74 Mb